completeness of axiom system

公设系统的完备性